home *** CD-ROM | disk | FTP | other *** search
/ Shareware Grab Bag / Shareware Grab Bag.iso / 007 / examples.arc / EXAMPL17.PRO < prev    next >
Text File  |  1986-10-07  |  307b  |  19 lines
  1. /* Program  17 */
  2. /*
  3.   Goals to enter are on page 66 of the manual.
  4. */
  5.  
  6. domains
  7.     d = pair(integer,integer) ; single(integer) ; none
  8.  
  9. predicates
  10.     equal(d,d)
  11.  
  12. clauses
  13.     equal(X,X).
  14.  
  15. /*goal
  16.     equal(single(4),pair(3,4)),
  17.     equal(pair(2,1),pair(2,1)),
  18.     equal(none,none).*/
  19.